Simply typed lambda calculus - PDFSEARCH.IO - Document Search Engine

Simply typed lambda calculus
Results: 80

#	Item
61	Applying automata and games to simply typed lambda calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-02-25 10:42:23 Computer science Models of computation Formal methods Model checking Simply typed lambda calculus Lambda calculus Finite-state machine Model theory ALGOL Theory of computation Theoretical computer science Automata theory
62	An Introduction to Decidability of Higher-Order Matching Colin Stirling [removed] LFCS School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-16 11:18:48 Mathematical logic Type theory Logic in computer science Theory of computation Simply typed lambda calculus Free variables and bound variables Combinatory logic Type system Normalisation by evaluation Theoretical computer science Mathematics Lambda calculus
63	An introduction to deciding higher-order matching Colin Stirling [removed] LFCS School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 09:12:38 Computer science Automata theory Formal methods Model checking Simply typed lambda calculus Model theory Finite-state machine Mathematical logic Lambda calculus Models of computation Theoretical computer science Theory of computation
64	Logical Methods in Computer Science Vol. 5 (3:[removed], pp. 1–52 www.lmcs-online.org Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 08:41:55 Mathematical logic Computability theory Simply typed lambda calculus Combinatory logic Unification Free variables and bound variables Variable Mathematics Theoretical computer science Lambda calculus
65	Epigram: Practical Programming with Dependent Types Conor McBride Add to Reading List Source URL: cs.ru.nl Language: English - Date: 2010-11-07 05:36:07 Functional languages Type theory Epigram Type system Dependent type Lambda calculus Agda Haskell Simply typed lambda calculus Software engineering Computing Programming language theory
66	Lecture Notes on the Lambda Calculus Peter Selinger Department of Mathematics and Statistics Add to Reading List Source URL: www.mscs.dal.ca Language: English - Date: 2013-09-21 21:21:50 Mathematics Logic in computer science Theory of computation Type theory Computability theory Simply typed lambda calculus Combinatory logic Typed lambda calculus Normalization property Theoretical computer science Lambda calculus Mathematical logic
67	Higher-Order Abstract Syntax∗ Frank Pfenning† Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-01-03 16:03:41 Type theory Lambda calculus Predicate logic Logic programming Higher-order abstract syntax Unification Free variables and bound variables Simply typed lambda calculus Hindley–Milner Mathematics Theoretical computer science Mathematical logic
68	Epigram: Practical Programming with Dependent Types Conor McBride Add to Reading List Source URL: cs.ru.nl Language: English - Date: 2010-11-07 05:36:07 Functional languages Type theory Epigram Type system Dependent type Lambda calculus Agda Haskell Simply typed lambda calculus Software engineering Computing Programming language theory
69	Coeffects: Unified static analysis of context-dependence Tomas Petricek, Dominic Orchard and Alan Mycroft University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-30 05:07:23 Adjoint functors Logic in computer science Programming language semantics Lambda calculus Models of computation Monad Simply typed lambda calculus Function Entailment Logic Mathematics Theoretical computer science
70	Information and Computation 163, [removed]doi:[removed]Âinco[removed], available online at http:ÂÂwww.idealibrary.com on Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2006-02-19 18:16:34 Logic in computer science Lambda calculus Type theory Models of computation Programming language semantics Denotational semantics Simply typed lambda calculus Typed lambda calculus Combinatory logic Theoretical computer science Mathematics Mathematical logic

UPDATE